The comment in xen.h on how to obtain current system time was missing

a right shift by 32 bits.

Signed-Off-By: Bruce Rogers <brogers@novell.com>

diff --git a/xen/include/public/xen.h b/xen/include/public/xen.h
index 8b2faffc6f686b8bfddfe2d7757bf30fa07485f2..cf5e38c9b7d136c6fa782b58b679c4655333e8c0 100644 (file)
--- a/xen/include/public/xen.h
+++ b/xen/include/public/xen.h
@@ -286,7 +286,8 @@ typedef struct vcpu_time_info {
     uint64_t system_time;     /* Time, in nanosecs, since boot.    */
     /*
      * Current system time:
-     *   system_time + ((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul
+     *   system_time +
+     *   ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32)
      * CPU frequency (Hz):
      *   ((10^9 << 32) / tsc_to_system_mul) >> tsc_shift
      */